<html xmlns:v="urn:schemas-microsoft-com:vml"
xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:w="urn:schemas-microsoft-com:office:word"
xmlns="http://www.w3.org/TR/REC-html40">

<head>
<meta http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 9">
<meta name=Originator content="Microsoft Word 9">
<link rel=File-List href="./AppendixC_files/filelist.xml">
<title>Appendix C</title>
<style>
<!--
 /* Font Definitions */
@font-face
	{font-family:Tahoma;
	panose-1:2 11 6 4 3 5 4 4 2 4;
	mso-font-charset:0;
	mso-generic-font-family:swiss;
	mso-font-pitch:variable;
	mso-font-signature:1627421319 -2147483648 8 0 66047 0;}
@font-face
	{font-family:"Microsoft Sans Serif";
	panose-1:2 11 6 4 2 2 2 2 2 4;
	mso-font-charset:0;
	mso-generic-font-family:swiss;
	mso-font-pitch:variable;
	mso-font-signature:1627421663 -2147483648 8 0 66047 0;}
@font-face
	{font-family:"Arial Black";
	panose-1:2 11 10 4 2 1 2 2 2 4;
	mso-font-charset:0;
	mso-generic-font-family:swiss;
	mso-font-pitch:variable;
	mso-font-signature:647 0 0 0 159 0;}
@font-face
	{font-family:Impact;
	panose-1:2 11 8 6 3 9 2 5 2 4;
	mso-font-charset:0;
	mso-generic-font-family:swiss;
	mso-font-pitch:variable;
	mso-font-signature:647 0 0 0 159 0;}
@font-face
	{font-family:"Wide Latin";
	mso-font-alt:"Times New Roman";
	mso-font-charset:0;
	mso-generic-font-family:roman;
	mso-font-pitch:variable;
	mso-font-signature:3 0 0 0 1 0;}
@font-face
	{font-family:AbsolutDB;
	mso-font-alt:"Courier New";
	mso-font-charset:0;
	mso-generic-font-family:auto;
	mso-font-pitch:variable;
	mso-font-signature:3 0 0 0 1 0;}
 /* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{mso-style-parent:"";
	margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:windowtext;}
h1
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:1;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	color:black;
	mso-font-kerning:0pt;
	mso-ansi-language:EN-GB;
	font-weight:normal;
	text-decoration:underline;
	text-underline:single;}
h2
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:center;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:2;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	font-weight:normal;
	font-style:italic;
	mso-bidi-font-style:normal;}
h3
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:3;
	font-size:14.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	font-weight:normal;}
h4
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:4;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	font-weight:bold;
	mso-bidi-font-weight:normal;
	text-decoration:underline;
	text-underline:single;}
h5
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:5;
	font-size:14.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	font-weight:bold;
	mso-bidi-font-weight:normal;
	text-decoration:underline;
	text-underline:single;}
h6
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	text-indent:.5in;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:6;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	font-weight:normal;
	font-style:italic;
	mso-bidi-font-style:normal;}
p.MsoHeading7, li.MsoHeading7, div.MsoHeading7
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:7;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	font-style:italic;
	mso-bidi-font-style:normal;}
p.MsoHeading8, li.MsoHeading8, div.MsoHeading8
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:8;
	font-size:14.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	text-decoration:underline;
	text-underline:single;}
p.MsoHeading9, li.MsoHeading9, div.MsoHeading9
	{mso-style-next:Normal;
	margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:center;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	mso-outline-level:9;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;
	font-weight:bold;
	mso-bidi-font-weight:normal;}
p.MsoIndex1, li.MsoIndex1, div.MsoIndex1
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:11.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex2, li.MsoIndex2, div.MsoIndex2
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:22.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex3, li.MsoIndex3, div.MsoIndex3
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:33.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex4, li.MsoIndex4, div.MsoIndex4
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:44.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex5, li.MsoIndex5, div.MsoIndex5
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:55.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex6, li.MsoIndex6, div.MsoIndex6
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:66.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex7, li.MsoIndex7, div.MsoIndex7
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:77.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex8, li.MsoIndex8, div.MsoIndex8
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:88.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndex9, li.MsoIndex9, div.MsoIndex9
	{mso-style-update:auto;
	mso-style-next:Normal;
	margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:99.0pt;
	margin-bottom:.0001pt;
	text-indent:-11.0pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoFootnoteText, li.MsoFootnoteText, div.MsoFootnoteText
	{margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoHeader, li.MsoHeader, div.MsoHeader
	{margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	tab-stops:center 207.65pt right 415.3pt;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoFooter, li.MsoFooter, div.MsoFooter
	{margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	tab-stops:center 207.65pt right 415.3pt;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoIndexHeading, li.MsoIndexHeading, div.MsoIndexHeading
	{mso-style-next:"Index 1";
	margin-top:12.0pt;
	margin-right:0in;
	margin-bottom:6.0pt;
	margin-left:0in;
	text-align:center;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:15.5pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	font-weight:bold;}
span.MsoFootnoteReference
	{vertical-align:super;}
span.MsoEndnoteReference
	{vertical-align:super;}
p.MsoEndnoteText, li.MsoEndnoteText, div.MsoEndnoteText
	{margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoTitle, li.MsoTitle, div.MsoTitle
	{margin:0in;
	margin-bottom:.0001pt;
	text-align:center;
	mso-pagination:widow-orphan;
	font-size:12.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:windowtext;
	font-weight:bold;
	mso-bidi-font-weight:normal;}
p.MsoBodyText, li.MsoBodyText, div.MsoBodyText
	{margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;}
p.MsoBodyTextIndent, li.MsoBodyTextIndent, div.MsoBodyTextIndent
	{margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:13.5pt;
	margin-bottom:.0001pt;
	text-align:justify;
	text-indent:.65pt;
	mso-pagination:widow-orphan;
	mso-layout-grid-align:none;
	text-autospace:none;
	font-size:9.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;}
p.MsoBodyText2, li.MsoBodyText2, div.MsoBodyText2
	{margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	border:none;
	mso-border-top-alt:solid windowtext 1.5pt;
	mso-border-bottom-alt:solid windowtext 1.5pt;
	padding:0in;
	mso-padding-alt:1.0pt 0in 1.0pt 0in;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;}
p.MsoBodyText3, li.MsoBodyText3, div.MsoBodyText3
	{margin:0in;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:9.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;}
p.MsoBodyTextIndent2, li.MsoBodyTextIndent2, div.MsoBodyTextIndent2
	{margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:13.5pt;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	mso-layout-grid-align:none;
	text-autospace:none;
	font-size:9.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;
	mso-ansi-language:EN-GB;}
p.MsoBodyTextIndent3, li.MsoBodyTextIndent3, div.MsoBodyTextIndent3
	{margin-top:0in;
	margin-right:0in;
	margin-bottom:0in;
	margin-left:.5in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:9.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
p.MsoBlockText, li.MsoBlockText, div.MsoBlockText
	{margin-top:0in;
	margin-right:-.35pt;
	margin-bottom:0in;
	margin-left:3.5in;
	margin-bottom:.0001pt;
	text-align:justify;
	text-indent:-3.5in;
	mso-pagination:widow-orphan;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
a:link, span.MsoHyperlink
	{mso-style-parent:"";
	color:blue;
	text-decoration:underline;
	text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
	{color:purple;
	text-decoration:underline;
	text-underline:single;}
strong
	{mso-bidi-font-weight:normal;}
em
	{mso-bidi-font-style:normal;}
p.MsoDocumentMap, li.MsoDocumentMap, div.MsoDocumentMap
	{margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	background:navy;
	font-size:11.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:Tahoma;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	color:black;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
	{margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:"Courier New";
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	color:windowtext;
	mso-ansi-language:EN-GB;}
p
	{margin-right:0in;
	mso-margin-top-alt:auto;
	mso-margin-bottom-alt:auto;
	margin-left:0in;
	mso-pagination:widow-orphan;
	font-size:12.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";
	color:black;}
span.Typewriter
	{mso-style-name:Typewriter;
	mso-style-parent:"";
	mso-ansi-font-size:10.0pt;
	mso-ascii-font-family:"Courier New";
	mso-hansi-font-family:"Courier New";}
span.l
	{mso-style-name:l;}
@page Section1
	{size:8.5in 11.0in;
	margin:1.0in 1.25in 1.0in 1.25in;
	mso-header-margin:.5in;
	mso-footer-margin:.5in;
	mso-paper-source:0;}
div.Section1
	{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
 <o:shapedefaults v:ext="edit" spidmax="1027"/>
</xml><![endif]--><!--[if gte mso 9]><xml>
 <o:shapelayout v:ext="edit">
  <o:idmap v:ext="edit" data="1"/>
 </o:shapelayout></xml><![endif]--><!--[if gte mso 9]><xml>
 <u1:DocumentProperties>
  <u1:Author> </u1:Author>
  <u1:Template>Normal</u1:Template>
  <u1:LastAuthor> </u1:LastAuthor>
  <u1:Revision>1</u1:Revision>
  <u1:TotalTime>0</u1:TotalTime>
  <u1:Created>2005-01-15T18:28:00Z</u1:Created>
  <u1:LastSaved>2005-01-15T18:28:00Z</u1:LastSaved>
  <u1:Pages>5</u1:Pages>
  <u1:Words>796</u1:Words>
  <u1:Characters>4538</u1:Characters>
  <u1:Company> </u1:Company>
  <u1:Lines>37</u1:Lines>
  <u1:Paragraphs>9</u1:Paragraphs>
  <u1:CharactersWithSpaces>5572</u1:CharactersWithSpaces>
  <u1:Version>9.2720</u1:Version>
 </u1:DocumentProperties>
</xml><![endif]--><!--[if gte mso 9]><xml>
 <u2:WordDocument>
  <u2:DisplayHorizontalDrawingGridEvery>0</u2:DisplayHorizontalDrawingGridEvery>
  <u2:DisplayVerticalDrawingGridEvery>0</u2:DisplayVerticalDrawingGridEvery>
  <u2:UseMarginsForDrawingGridOrigin/>
  <u2:Compatibility>
   <u2:FootnoteLayoutLikeWW8/>
   <u2:ShapeLayoutLikeWW8/>
   <u2:AlignTablesRowByRow/>
   <u2:ForgetLastTabAlignment/>
   <u2:LayoutRawTableWidth/>
   <u2:LayoutTableRowsApart/>
  </u2:Compatibility>
 </u2:WordDocument>
</xml><![endif]-->
</head>

<body bgcolor=silver lang=EN-US link=blue vlink=purple style='tab-interval:
.5in'>

<div class=Section1>

<div align=center>

<table border=0 cellpadding=0 width="80%" bgcolor=white style='width:80.0%;
 mso-cellspacing:1.5pt;background:white;mso-padding-alt:75.0pt 75.0pt 75.0pt 75.0pt'>
 <tr>
  <td width="100%" style='width:100.0%;padding:75.0pt 75.0pt 75.0pt 75.0pt'>
  <p class=MsoTitle align=left style='margin-left:1.0in;text-align:left'><span
  style='font-size:14.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  font-weight:normal;mso-bidi-font-weight:bold'><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></span></p>
  <div align=center>
  <table border=0 cellspacing=0 cellpadding=0 width=432 style='width:4.5in;
   border-collapse:collapse;border:none;mso-border-alt:solid windowtext .5pt;
   mso-padding-alt:0in 5.4pt 0in 5.4pt'>
   <tr>
    <td width=492 valign=top style='width:368.75pt;border:solid windowtext .5pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoTitle align=left style='text-align:left'><span
    style='font-size:14.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
    font-weight:normal;mso-bidi-font-weight:bold'><a href="QiPrograms.zip">Download
    Programs</a> <o:p></o:p></span></p>
    </td>
    <td width=492 valign=top style='width:368.75pt;border:solid windowtext .5pt;
    border-left:none;mso-border-left-alt:solid windowtext .5pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoTitle align=left style='text-align:left'><span
    style='font-size:14.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
    font-weight:normal;mso-bidi-font-weight:bold'><a href="contents.htm">Go to
    Contents Page</a><o:p></o:p></span></p>
    </td>
   </tr>
  </table>
  </div>
  <p class=MsoTitle align=left style='margin-left:1.0in;text-align:left'><span
  style='font-size:14.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  font-weight:normal;mso-bidi-font-weight:bold'><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></span></p>
  <p class=MsoTitle align=left style='margin-left:1.0in;text-align:left'><span
  style='font-size:14.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  font-weight:normal;mso-bidi-font-weight:bold'>Note that this HTML page was
  generated from Word 2000.<span style="mso-spacerun: yes">&nbsp; </span>Some
  of the code cannot be pasted into Qi. You are advised to download the program
  files through the above link.<o:p></o:p></span></p>
  <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
  margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center;
  mso-outline-level:1'><span lang=EN-GB style='font-size:18.0pt;mso-bidi-font-size:
  10.0pt;font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></span></p>
  <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
  margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center;
  mso-outline-level:1'><span lang=EN-GB style='font-size:18.0pt;mso-bidi-font-size:
  10.0pt;font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>Appendix C<u3:p></u3:p></span></p>
  <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
  margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
  lang=EN-GB style='font-size:8.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
  margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center;
  mso-outline-level:1'><span lang=EN-GB style='font-size:16.0pt;mso-bidi-font-size:
  10.0pt;font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  letter-spacing:-1.0pt;mso-ansi-language:EN-GB'>The Syntax of Qi<i> </i>and
  the<i> </i>Qi<i> </i>Reader and Printer<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-size:8.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>The syntax</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>syntax</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>of Qi is presented as a context-free</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>free</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'><span
  style="mso-spacerun: yes">&nbsp;</span>XE &quot;</span><b style='mso-bidi-font-weight:
  normal'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>context-free</span></b><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>&quot;
  </span><![endif]--><!--[if supportFields]><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>grammar in BNF notation annotated where necessary to
  explain certain context-sensitive restrictions.<span style="mso-spacerun:
  yes">&nbsp;&nbsp; </span>Terminals which represent parts of the Qi language
  are bolded, and in particular the bar | in Qi is bolded to </span><span
  style='mso-bidi-font-size:11.5pt;font-family:Impact'>I</span><span
  style='font-family:"Wide Latin";mso-ansi-language:EN-GB'> </span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>to distinguish it from the | used
  in the BNF to separate alternatives.<span style="mso-spacerun: yes">&nbsp;
  </span>For all <i>X</i>, the expansion &lt;<i>X</i>&gt; ::= </span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> | &#8230; indicates that &lt;<i>X</i>&gt;
  may be expanded to an empty series of expressions.<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-size:8.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
  margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center;
  mso-outline-level:1'><b><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>Syntax Rules
  for Qi Function Definitions<u3:p></u3:p></span></b></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-size:8.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;def&gt; ::= <b>(define</b>
  &lt; lowercase &gt; <b>{</b>&lt;types&gt;<b>}</b> &lt;rules&gt;<b>) <u3:p></u3:p></b></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><b><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>| (define </span></b><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;lowercase&gt; &lt;rules&gt;<b>)<u3:p></u3:p></b></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;lowercase&gt; ::= any
  &lt;symbol&gt; not beginning in uppercase<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;rules&gt; ::= &lt;rule&gt;
  |<span style="mso-spacerun: yes">&nbsp; </span>&lt;rule&gt; &lt;rules&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;tab-stops:191.4pt'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;rule&gt; ::= &lt;patterns&gt; </span><b><span
  style='font-family:AbsolutDB;layout-grid-mode:line'>-&gt;</span></b><span
  style='font-size:9.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'> </span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;item&gt; | &lt;patterns&gt; </span><b><span
  style='font-family:AbsolutDB;layout-grid-mode:line'>&lt;-</span></b><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> &lt;item&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;tab-stops:191.4pt'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
  </span>| &lt;patterns&gt; </span><b><span style='font-family:AbsolutDB;
  layout-grid-mode:line'>-&gt;</span></b><span style='font-size:9.0pt;
  mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> </span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>&lt;item&gt; <b>where</b> &lt;item&gt; <span
  style="mso-spacerun: yes">&nbsp;</span><u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-tab-count:1'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span
  style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>| &lt;patterns&gt; </span><b><span
  style='font-family:AbsolutDB;layout-grid-mode:line'>&lt;-</span></b><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> &lt;item&gt; <b>where</b>
  &lt;item&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;patterns&gt; ::= </span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> |<span style="mso-spacerun:
  yes">&nbsp; </span>&lt;pattern&gt; &lt;patterns&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-left:.5in;mso-layout-grid-align:none;
  text-autospace:none'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>&lt;pattern&gt;
  ::= &lt;base&gt; (except </span><b><span style='font-family:AbsolutDB;
  layout-grid-mode:line'>-&gt; </span></b><span style='mso-bidi-font-size:11.5pt;
  font-family:Impact'>I</span><b><span style='font-family:AbsolutDB;layout-grid-mode:
  line'> </span></b><span style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";layout-grid-mode:line;mso-bidi-font-weight:bold'>and</span><b><span
  style='font-family:AbsolutDB;layout-grid-mode:line'> &lt;-</span></b><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>) <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-left:.5in;mso-layout-grid-align:none;
  text-autospace:none'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'><span
  style="mso-spacerun:
  yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
  </span>| <b>[</b>&lt;pattern&gt; &lt;patterns&gt; </span><span
  style='mso-bidi-font-size:11.5pt;font-family:Impact'>I</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> &lt;pattern&gt;<b>]</b> <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-left:1.0in;text-indent:.5in;mso-layout-grid-align:
  none;text-autospace:none'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'><span
  style="mso-spacerun: yes">&nbsp;</span>| <b>[</b>&lt;patterns&gt;<b>]</b> | <b>(cons</b>
  &lt;pattern&gt; &lt;pattern&gt;<b>)</b> <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-left:1.0in;text-indent:.5in;mso-layout-grid-align:
  none;text-autospace:none'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'><span
  style="mso-spacerun: yes">&nbsp;</span>| <b>(list</b></span><!--[if supportFields]><b
  style='mso-bidi-font-weight:normal'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'><span
  style='mso-element:field-begin'></span></span></b><span style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'> XE &quot;</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>list</span><span style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><b
  style='mso-bidi-font-weight:normal'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'><span
  style='mso-element:field-end'></span></span></b><![endif]--><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>&lt;patterns&gt;<b>) | (@p </b><span style='mso-bidi-font-weight:
  bold'>&lt;pattern&gt; &lt;pattern&gt;<b>) | NIL | ( )<u3:p></u3:p></b></span></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;item&gt; ::= &lt;base&gt; | <b>[</b>&lt;items&gt;
  </span><span style='mso-bidi-font-size:11.5pt;font-family:Impact'>I</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> &lt;item&gt;<b>]</b><span
  style="mso-spacerun: yes">&nbsp; </span>| <b>[</b>&lt;items&gt;<b>]</b> <span
  style="mso-spacerun: yes">&nbsp;</span><u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB;mso-bidi-font-weight:bold'>|<b> </b></span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;application&gt; |
  &lt;abstraction</span><!--[if supportFields]><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>abstraction</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;items&gt; ::= &lt;item&gt; |
  &lt;item&gt; &lt;items&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;base&gt; ::= &lt;symbol&gt;
  (except </span><span style='mso-bidi-font-size:11.5pt;font-family:Impact'>I</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>) | &lt;string&gt; |
  &lt;character&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>| &lt;boolean</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>boolean</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&gt; | &lt;number&gt; | <b>( ) | [
  ] | NIL</b><u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;application&gt; ::= <b>(</b>&lt;items&gt;<b>)</b><u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;abstraction</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>abstraction</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&gt; ::= <b>(</b></span><b><span
  lang=EN-GB style='font-size:9.0pt;mso-bidi-font-size:10.0pt;font-family:"Wide Latin";
  mso-ansi-language:EN-GB'>/</span></b><b><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>.</span></b><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>
  &lt;variable&gt; &lt;item&gt;<b>)<u3:p></u3:p></b></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;variable&gt; ::= any
  &lt;symbol&gt; beginning in uppercase (except <b>NIL</b>)</span></p>
  <u3:p></u3:p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><b><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";letter-spacing:-.2pt;mso-ansi-language:EN-GB'>&lt;</span></b><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";letter-spacing:-.2pt;mso-ansi-language:EN-GB'>types<b>&gt; </b>::=<b>
  </b><span style="mso-spacerun: yes">&nbsp;</span></span><span lang=EN-GB
  style='font-family:Symbol;letter-spacing:-.2pt;mso-ansi-language:EN-GB'>e</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";letter-spacing:-.2pt;mso-ansi-language:EN-GB'> |<span
  style="mso-spacerun: yes">&nbsp; </span><b>(</b>&lt;types&gt;<b>)</b> | <b>[</b>&lt;types&gt;<b>]
  </b>| &lt;types&gt; &lt;types&gt; </span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>| &lt;symbol&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><b><span
  lang=EN-GB style='font-size:8.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></b></p>
  <b><span lang=EN-GB style='font-size:12.0pt;font-family:"Times New Roman";
  mso-fareast-font-family:"Times New Roman";color:black;mso-ansi-language:EN-GB;
  mso-fareast-language:EN-US;mso-bidi-language:AR-SA'><br clear=all
  style='mso-special-character:line-break;page-break-before:always'>
  </span></b>
  <p><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></p>
  <p class=MsoHeading9 style='margin-left:.5in'><span lang=EN-GB
  style='font-size:10.0pt;font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman"'>Syntax Rules for Qi Datatype and Theory Definitions<u3:p></u3:p></span></p>
  <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
  margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
  lang=EN-GB style='font-size:8.0pt;mso-bidi-font-size:10.0pt;font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;datatype_definition&gt; ::= <b>(datatype</b>
  &lt;lowercase&gt; &lt;</span><span lang=EN-GB style='font-family:Symbol;
  mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-refinement</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>refinement</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>rules&gt;<b>)</b><u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;theory&gt; ::= <b>(theory</b>
  &lt;lowercase&gt; &lt;</span><span lang=EN-GB style='font-family:Symbol;
  mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-refinement</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>refinement</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>rules&gt;<b>)<u3:p></u3:p></b></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-refinement</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>refinement</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>rules&gt; ::= &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-refinement rule&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
  </span>| &lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:
  EN-GB'>a</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-refinement
  rule&gt; &lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:
  EN-GB'>a</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-refinement
  rules&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-refinement</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>refinement</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>rules&gt; ::= &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-refinement rule&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
  </span>| &lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:
  EN-GB'>b</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-refinement
  rule&gt; &lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:
  EN-GB'>b</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-refinement
  rules&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-refinement</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>refinement</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>rule&gt; :: = &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-preamble&gt; &lt;</span><span lang=EN-GB style='font-family:Symbol;
  mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-schemes&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:2.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;underline&gt; &lt;</span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-scheme&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-tab-count:2'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span
  style='mso-tab-count:1'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span
  style="mso-spacerun: yes">&nbsp;</span>| &lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-preamble&gt; &lt;simple </span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-schemes&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
  </span>&lt;double underline&gt; &lt;simple </span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-scheme&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-refinement</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><b style='mso-bidi-font-weight:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>refinement</span></b><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>rule&gt; :: = &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-preamble&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
  </span>&lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:
  EN-GB'>b</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-schemes&gt;
  &lt;underline&gt; &lt;</span><span lang=EN-GB style='font-family:Symbol;
  mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-scheme&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-preamble&gt; ::= &lt;side-conditions&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-preamble&gt; ::= &lt;title&gt; &lt;side-conditions&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;title&gt; ::= </span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'> | <b>name</b> &lt;lowercase&gt; |
  <b>name</b> (&lt;lowercase&gt; &lt;natnum&gt;)<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;natnum&gt; ::= a natural number<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-side-conditions&gt; ::= </span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'> | &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-side-condition&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.5in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>| &lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-side-condition&gt; &lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-side-conditions&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-side-conditions&gt; ::= </span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'> | &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-side-condition&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.5in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>| &lt;</span><span lang=EN-GB style='font-family:Symbol;
  mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'>-side-condition&gt;
  &lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-side-conditions&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;side-condition&gt; ::= <b>if</b>
  &lt;item&gt; | <b>let </b>&lt;variable&gt; &lt;item&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;<span style='letter-spacing:
  -.1pt'>underline&gt; ::= </span></span><b><span lang=EN-GB style='font-family:
  "Arial Black";letter-spacing:-.1pt;mso-ansi-language:EN-GB'>_</span></b><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";letter-spacing:-.1pt;mso-ansi-language:EN-GB'> | one or
  more concatenations of the underscore</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'> </span><b><span lang=EN-GB style='font-family:"Arial Black";
  letter-spacing:-.1pt;mso-ansi-language:EN-GB'>_</span></b><b><span
  lang=EN-GB style='font-family:"Arial Black";mso-ansi-language:EN-GB'> <u3:p></u3:p></span></b></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;double underline&gt; ::= </span><span
  lang=EN-GB style='font-family:"Arial Black";letter-spacing:-.1pt;mso-ansi-language:
  EN-GB'>=</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'> |<span
  style="mso-spacerun: yes">&nbsp; </span><span style='letter-spacing:-.1pt'>one
  or more concatenations of </span></span><b><span lang=EN-GB style='font-family:
  "Arial Black";letter-spacing:-.1pt;mso-ansi-language:EN-GB'>=<u3:p></u3:p></span></b></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";letter-spacing:-.1pt;mso-ansi-language:EN-GB'>&lt;simple </span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-<span style='letter-spacing:-.1pt'>schemes&gt;
  ::= </span></span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:
  EN-GB'>e</span><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB'> | &lt;simple
  </span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-scheme&gt; <b>;</b> &lt;simple </span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-schemes&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;simple </span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-scheme&gt; := &lt;item&gt; <b>: </b>&lt;item&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-schemes&gt; ::= </span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'> | &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-scheme&gt; <b>; </b>&lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-schemes&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-scheme&gt;<span style="mso-spacerun: yes">&nbsp;
  </span>::=<span style="mso-spacerun: yes">&nbsp; </span>&lt;</span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-formulae schemes&gt; &gt;&gt;
  &lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-formula scheme&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>| &lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-formula scheme&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-formulae schemes&gt; ::= </span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'> | &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-formula scheme&gt; &lt;formulae schemes&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.5in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>| &lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-formula scheme&gt;<b>,</b> &lt;</span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-formulae schemes&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-formula scheme&gt; :: = &lt;item&gt; <b>: </b>&lt;item&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-schemes&gt; ::= </span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>e</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'> | &lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-scheme&gt; <b>; </b>&lt;</span><span lang=EN-GB style='font-family:
  Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>-schemes&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-scheme&gt;<span style="mso-spacerun: yes">&nbsp;
  </span>::=<span style="mso-spacerun: yes">&nbsp; </span>&lt;</span><span
  lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-formulae schemes&gt; &gt;&gt;
  &lt;</span><span lang=EN-GB style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>-formula scheme&gt; <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  .5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>| &lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>b</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-formula scheme&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:1.0in;margin-bottom:.0001pt;text-align:justify;text-indent:
  -.5in'><span lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&lt;</span><span lang=EN-GB
  style='font-family:Symbol;mso-ansi-language:EN-GB'>a</span><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>-formula scheme&gt; :: = &lt;item&gt; <b>: </b>&lt;item&gt;
  | &lt;item&gt;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <b><u><span lang=EN-GB style='font-size:12.0pt;font-family:"Times New Roman";
  mso-fareast-font-family:"Times New Roman";color:black;mso-ansi-language:EN-GB;
  mso-fareast-language:EN-US;mso-bidi-language:AR-SA'><br clear=all
  style='mso-special-character:line-break;page-break-before:always'>
  </span></u></b>
  <p><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;mso-outline-level:
  1'><b><u><span lang=EN-GB style='font-size:14.0pt;mso-bidi-font-size:10.0pt;
  font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>The Qi Reader_____________________________<u3:p></u3:p></span></u></b></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-size:12.0pt;mso-bidi-font-size:10.0pt;font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>The Qi reader</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><i style='mso-bidi-font-style:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>Qi</span></i><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'> reader</span><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; \b </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>reads in the user input from either file or keyboard in the
  same manner.<span style="mso-spacerun: yes">&nbsp; </span>Input is read as a stream
  of characters (e.g. <b>hello</b> is read as <b>#\h #\e #\l #\l #\o</b>) which
  are read in one by one and mapped to their internal representation in Qi by
  the tokeniser.<span style="mso-spacerun: yes">&nbsp; </span>The reader
  behaves as the identity function except for the following cases. <b>&lt;sep&gt;</b>
  is the set of separators {<b>#\Space, #\Newline, #\(, #\), #/], #/[</b>} <u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <div align=center>
  <table border=0 cellspacing=0 cellpadding=0 style='border-collapse:collapse;
   border:none;mso-border-alt:solid black .75pt;mso-padding-alt:0in 5.4pt 0in 5.4pt'>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
    mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB;mso-bidi-font-weight:
    bold'>Character Input<u3:p></u3:p></span><span style='font-size:12.0pt'><o:p></o:p></span></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border:solid black .75pt;
    border-left:none;mso-border-left-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Special Reader Action<u3:p></u3:p></span></b></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\}<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>#\Space<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\}<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\Space</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\{<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>#\Space<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\{<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\Space</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\!<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>#\Space<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\!<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\Space</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\%<u3:p></u3:p></span></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>#\Space<span
    style="mso-spacerun: yes">&nbsp; </span><span style="mso-spacerun:
    yes">&nbsp;&nbsp;</span>#\%<span style="mso-spacerun:
    yes">&nbsp;&nbsp;&nbsp; </span>#\Space</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\[<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as<b> #\(<span
    style="mso-spacerun: yes">&nbsp; </span>#\l<span style="mso-spacerun:
    yes">&nbsp; </span>#\i<span style="mso-spacerun: yes">&nbsp;
    </span>#\s<span style="mso-spacerun: yes">&nbsp; </span>#\t #\i #\t</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\]<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as<b> #\)</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\ </span></b><span lang=EN-GB
    style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
    mso-ansi-language:EN-GB'>not followed by<b> #\#<u3:p></u3:p></b></span></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Comment character. Skip reading
    until the matching <b>#\</b> is found.<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\|<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as<b> #\Space<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\@<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\Space</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\:<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as<b> #\Space<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\$ #\$<span
    style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp; </span>#\Space</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\&quot;<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Suspend all special reader
    actions and read in the stream verbatim until the matching <b>#\&quot;</b>
    is found.<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>&lt;sep&gt; #\= &lt;sep&gt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>&lt;sep&gt; #\q #\i
    #\e #\q &lt;sep&gt;</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>&lt;sep&gt; #\&gt; &lt;sep&gt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>&lt;sep&gt; #\q #\i
    #\&gt; &lt;sep&gt;</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>&lt;sep&gt; #\&lt; &lt;sep&gt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>&lt;sep&gt; #\q #\i
    #\&lt; &lt;sep&gt;</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>&lt;sep&gt; #\=&gt; &lt;sep&gt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>&lt;sep&gt; #\q #\i
    #\= #\&gt; &lt;sep&gt;</b><u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=150 valign=top style='width:112.5pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>&lt;sep&gt; #\&lt;= &lt;sep&gt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=299 valign=top style='width:224.1pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Read as <b>&lt;sep&gt; #\q #\i
    #\&lt; #\= &lt;sep&gt;</b><u3:p></u3:p></span></p>
    </td>
   </tr>
  </table>
  </div>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><b><u><span
  lang=EN-GB style='font-size:14.0pt;mso-bidi-font-size:10.0pt;font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'>The Qi Printer_____________________________<u3:p></u3:p></span></u></b></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>The Qi printer</span><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-begin'></span></span><span
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman"'>
  XE &quot;</span><i style='mso-bidi-font-style:normal'><span lang=EN-GB
  style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";
  mso-ansi-language:EN-GB'>Qi</span></i><span lang=EN-GB style='font-family:
  "Microsoft Sans Serif";mso-bidi-font-family:"Times New Roman";mso-ansi-language:
  EN-GB'> printer</span><span style='font-family:"Microsoft Sans Serif";
  mso-bidi-font-family:"Times New Roman"'>&quot; \b </span><![endif]--><!--[if supportFields]><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style='mso-element:field-end'></span></span><![endif]--><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'><span style="mso-spacerun:
  yes">&nbsp;</span>reads the result of evaluating the user input and prints it
  to the screen.<span style="mso-spacerun: yes">&nbsp; </span>We say that a
  character or series of characters is <i>unscoped</i> if it does not occur
  within a string, or within the scope of a tuple operator <b>@p</b>. In all
  cases not listed below, the printer prints the output verbatim.<span
  style="mso-spacerun: yes">&nbsp; </span>Strings are printed verbatim.<u3:p></u3:p></span></p>
  <span lang=EN-GB style='font-size:12.0pt;font-family:"Times New Roman";
  mso-fareast-font-family:"Times New Roman";color:black;mso-ansi-language:EN-GB;
  mso-fareast-language:EN-US;mso-bidi-language:AR-SA'><br clear=all
  style='mso-special-character:line-break;page-break-before:always'>
  </span>
  <p><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'>&nbsp;</p>
  <u3:p></u3:p>
  <div align=center>
  <table border=0 cellspacing=0 cellpadding=0 style='border-collapse:collapse;
   border:none;mso-border-alt:solid black .75pt;mso-padding-alt:0in 5.4pt 0in 5.4pt'>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal><span lang=EN-GB style='font-family:"Microsoft Sans Serif";
    mso-bidi-font-family:"Times New Roman";mso-ansi-language:EN-GB;mso-bidi-font-weight:
    bold'>Character Input<u3:p></u3:p></span><span style='font-size:12.0pt'><o:p></o:p></span></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border:solid black .75pt;
    border-left:none;mso-border-left-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Special Printer Action<u3:p></u3:p></span></b></p>
    </td>
   </tr>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Unscoped #\( <u3:p></u3:p></span></b></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Print as #\[<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Unscoped #\) <u3:p></u3:p></span></b></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Print as #\]<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\q #\i #\&gt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Print as #\&gt;<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\q #\i #\&lt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Print as #\&gt;<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\q #\i #\= #\&gt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Print as #\= #\&gt;<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#\q #\i #\= #\&lt;<u3:p></u3:p></span></b></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Print as #\&lt; #\=<u3:p></u3:p></span></p>
    </td>
   </tr>
   <tr>
    <td width=124 valign=top style='width:92.65pt;border:solid black .75pt;
    border-top:none;mso-border-top-alt:solid black .75pt;padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><b><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>#q #\i #\e #\q<u3:p></u3:p></span></b></p>
    </td>
    <td width=145 valign=top style='width:108.85pt;border-top:none;border-left:
    none;border-bottom:solid black .75pt;border-right:solid black .75pt;
    mso-border-top-alt:solid black .75pt;mso-border-left-alt:solid black .75pt;
    padding:0in 5.4pt 0in 5.4pt'>
    <p class=MsoNormal align=center style='margin-top:0in;margin-right:-.35pt;
    margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:center'><span
    lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
    "Times New Roman";mso-ansi-language:EN-GB'>Print as #\=<u3:p></u3:p></span></p>
    </td>
   </tr>
  </table>
  </div>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <p class=MsoNormal style='margin-top:0in;margin-right:-.35pt;margin-bottom:
  0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify'><span
  lang=EN-GB style='font-family:"Microsoft Sans Serif";mso-bidi-font-family:
  "Times New Roman";mso-ansi-language:EN-GB'>&nbsp;<u3:p></u3:p></span></p>
  <span lang=EN-GB style='font-size:12.0pt;font-family:"Times New Roman";
  mso-fareast-font-family:"Times New Roman";color:black;mso-ansi-language:EN-GB;
  mso-fareast-language:EN-US;mso-bidi-language:AR-SA'><br clear=all
  style='mso-special-character:line-break;page-break-before:always'>
  </span>
  <p><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></p>
  <p class=MsoNormal>&nbsp;<u3:p></u3:p></p>
  </td>
 </tr>
</table>

</div>

<p class=MsoNormal><span style='font-size:12.0pt'><![if !supportEmptyParas]>&nbsp;<![endif]><o:p></o:p></span></p>

</div>

</body>

</html>
